1. Algebra and coalgebra in computer science
پدیدآورنده: / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics--Congresses,Algebra--Congresses,Formale Methode--Kongress--Udine <2009>,Theoretische Informatik--Algebra--Kongress--Udine <2009>,Theoretische Informatik--Koalgebra--Kongress--Udine <2009>,Algebra.--swd,Formale Methode.--swd,Koalgebra.--swd,Theoretische Informatik.--swd,Kongress.--swd,Udine (2009)--swd
رده :
QA
,
76
.
9
,.
M35
,
C33
,
2009
2. Algebra and coalgebra in computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd
3. Algorithmische Konzepte der Informatik :
پدیدآورنده: Juraj Hromkovič.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithmus -- 0 Gesamtdarstellung.,Theoretische Informatik,Theoretische Informatik.
4. Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
5. Fete of combinatorics and computer science
پدیدآورنده: Gyula O.H. Katona, Alexander Schrijver, Tamas Szionyi (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Combinatorial analysis,Computer science- Mathematics,Kombinatorik,Theoretische Informatik,Keszthely,Kongress
رده :
QA
،
164
،.
F484
،
2010
6. Grundbegriffe der Theoretischen Informatik
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Informatik,Theoretische Informatik
7. Grundkurs Informatik - Das Übungsbuch
پدیدآورنده: Jochen Schmidt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Informatik,Informatikstudium,Theoretische Informatik
8. Grundkurs theoretische Informatik :
پدیدآورنده: Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik -- Lehrbuch.,Theoretische Informatik.
9. Grundlagen der theoretischen Informatik mit Anwendungen :
پدیدآورنده: Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik.
10. Grundlagen der theoretischen Informatik mit Anwendungen :
پدیدآورنده: Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik.
رده :
QA76
.
G688
2002
11. Mathematical and Engineering Methods in Computer Science :
پدیدآورنده: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME,SPEZIELLE PROGRAMMIERMETHODEN,THEORETISCHE INFORMATIK
رده :
QA75
.
5
T456
2013
12. Perspectives of system informatics :
پدیدآورنده: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
13. The pillars of computation theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Theoretische Informatik. ; swd. ;
14. The pillars of computation theory
پدیدآورنده: Arnold L. Rosenberg
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computational complexity,Theoretische Informatik., swd
رده :
QA
،
267
.
7
،.
R67
،
2010
15. The pillars of computation theory
پدیدآورنده: / Arnold L. Rosenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computational complexity,Theoretische Informatik., swd
رده :
E-BOOK
16. Theoretische Grundlagen der Informatik
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.,Theoretische Informatik
17. Theoretische Informatik :
پدیدآورنده: Lutz Priese, Katrin Erk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik.
18. Theoretische Informatik
پدیدآورنده: Dirk W. Hoffmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik-- Lehrbuch.,Theoretische Informatik,Theoretische Informatik, 0 Gesamtdarstellung.,Theoretische Informatik, Lehrbuch.
19. Theoretische Informatik :
پدیدآورنده: Juraj Hromkovič
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik.
20. Theoretische Informatik :
پدیدآورنده: Alexander Asteroth; Christel Baier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theoretische Informatik.
